Deriving Extensional Spatial Composition Tables
نویسندگان
چکیده
Spatial composition tables are fundamental tools for the realisation of qualitative spatial reasoning techniques. Studying the properties of these tables in relation to the spatial calculi they are based on is essential for understanding the applicability of these calculi and how they can be extended and generalised. An extensional interpretation of a spatial composition table is an important property that has been studied in the literature and is used to determine the validity of the table for the models it is proposed for. It provides means for consistency checking of ground sets of relations and for addressing spatial constraint satisfaction problems. Furthermore, two general conditions that can be used to test for extensionality of spatial composition tables are proposed and applied to the RCC8 composition table to verify the allowable models in this calculus.
منابع مشابه
An Efficient Algorithm for Generating Composition Tables for Qualitative Spatial Relations
Qualitative Spatial Reasoning (QSR) is useful for deriving logical inferences when quantitative spatial information is not pertinent or not available. The automated derivation of such logical inferences becomes a binary constraint satisfaction problem; binary relations can be formulated as a region-based qualitative reasoning problem involving disjunctive constraints. It has been proved [1] tha...
متن کاملExtensionality of the RCC8 Composition Table
This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the...
متن کامل9+-Intersection Calculi for Topological Reasoning on Heterogeneous Objects
This paper develops a series of qualitative spatial calculi that feature topological relations. While most qualitative spatial calculi have targeted spatial relations between single-type objects, our calculi support spatial relations between heterogeneous combinations of objects. Thus, with our calculi, we can disambiguate topological arrangements of objects without regard to the types of the o...
متن کاملAn Extensional Spatial Logic for Mobile Processes
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual spatial logic for the πcalculus, which lacks the spatial operators to observe emptyness, parallel composition and restriction, and only has composition adjunct and hiding. We show that the induced logical equivalence...
متن کاملEvolution of Region Connection Calculus to VRCC-3D+
Qualitative spatial reasoning (QSR) is useful for deriving logical inferences when quantitative spatial information is not available. QSR theories have applications in areas such as geographic information systems, spatial databases, robotics, and cognitive sciences. The existing QSR theories have been applied primarily to 2D. The ability to perform QSR over a collection of 3D objects is desirab...
متن کامل